منابع مشابه
Extending . NET Security to Native Code
Increasingly, applications are downloaded from the Internet by unsuspecting users, unaware of the intentions of the program author. To facilitate and secure this growing class of mobile code, Microsoft has introduced a new development and runtime environment called .NET framework. The framework combines a virtual machine, strong typing, and a configurable rule-set to subject the application to ...
متن کاملExtending execution tracing for mobile code security
6 4 5 3 "7 ) ' 8"# $ 9 ;:3 9)< "= 0 4>: < )+2 ?3 @ 1:A B , 8 , "# 0 ' C , ,/3 5 ; D"E F4 B F C . 0 : :; G:# # 'H3 $ B 24 $I J)K L"# M ;: 9 '' ( NPOQ 0 R S 0 $ T 3 U ,4D G: 'H; : V 'H3 $ B W"# X ;:3 X ' ( Q 24 $I YE 2 3 , 4 , 3NZ6 4 $ [ [ ,4 ?U G:\ 4 4\ 4 ] ;: 2 $ ^ )# B G:F 4 ,:8 ! 4 L?U 2 _ G S ' ?U 2 G! . 4 $ ,4S 1:3 ' , /U ' 4 ?U 2 _ G ` )5 'H3 ' ] , ' # V 0 4 ) )* 4 . ' GNa6 4 ' , 2 $ 0 ' ....
متن کاملExtending WS-Security to Implement Security Protocols for Web Services
Web services use tokens provided by the WS-Security standard to implement security protocols. We propose several extensions to the WS-Security standard, including name types, key and random number extensions. The extensions are used to implement existing protocols such as ISO9798, Kerberos or BAN-Lowe. The advantages of using these implementations rather than the existing, binary ones, are inhe...
متن کاملExtending Software Architectures from Safety to Security
In this paper we summarize approaches for software architectures used in the automotive domain for safety-critical or mixed safety-critical systems and extend the approach to security-critical systems. Safety and security aspects of systems influence each other and we show solutions which combine both worlds in a common architectural and development process approach. 1 Motivation and Background...
متن کاملRefining and Extending the Procedural Net
This paper presents a new definition for Plans The objects defined are called Plan Nets, and are similar in spirit to Sacerdoti's Procedural Nets (1975) It is argued that Plan Nets are more descriptive tham Procedural Nets, because they can easily describe iterative behaviour The Plan Net definition is motivated by providing an operational semantics for the Procedural Net, and noticing that all...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Information Security
سال: 2007
ISSN: 1615-5262,1615-5270
DOI: 10.1007/s10207-007-0031-0